Input Contract Testing of Graphical User Interfaces
نویسندگان
چکیده
منابع مشابه
Input Contract Testing of Graphical User Interfaces
User inputs are critical for the security, safety, and reliability of software systems. This paper proposes a new concept called user input contracts, which is an integral part of a design-by-contract supplemented development process, and a model-based testing approach to detect violations of user input contracts. The approach generates test cases from an input contract integrated with graph-ba...
متن کاملFinite-State Testing of Graphical User Interfaces
The most Human-Computer-Interfaces will be materialized by Graphical User Interfaces (GUI). With the growing complexity of the computer-based system, also their GUIs become more complex, accordingly making the test process more and more costly. The paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, enabling a precise scalabilit...
متن کاملAutomated Testing of Graphical User Interfaces
The aim of this paper is to evaluate tools used for testing of graphical user interfaces, in the context of a course (EDA260) at Lund University. It provides a brief overview over some of the existing tools for automated testing of Java-based graphical user interfaces, while focusing on one tool in particular – Abbot. It takes a look at some best-practices and the challenges that have occurred ...
متن کاملGUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular technique to detect defects in GUIs is to test them by executing test cases and checking the execution results. Test cases may either be created manually or generated automatically from a model of the GUI. While manual test...
متن کاملFinite-State Testing and Analysis of Graphical User Interfaces
Based on finite-state automata (FSA) and equivalent regular expressions, the paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, revealing much rationalization potential. Appropriate formal notions will be used to introduce efficient algorithms to systematically generate and select test cases. The completeness of the test can be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Software Engineering and Knowledge Engineering
سال: 2016
ISSN: 0218-1940,1793-6403
DOI: 10.1142/s0218194016500091